Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
61	On systems of exponential sums with real exponents Boris Zilber April 18, 2011 In [Z2] we studied the theory of formal exponentiation (raising to powers) and proved that it is very nice (superstable Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2014-01-24 15:58:07 Algebra Mathematics Linear algebra Kernel Linear map Field extension Vector space Fredholm alternative
62	Developing an ATC Grammar using the Review of the Cushing Grammar in the pro ject seminar Computational Natural Language Systems RVS, Faculty of Technology, University of Bielefeld Add to Reading List Source URL: www.rvs.uni-bielefeld.de Language: English - Date: 2001-06-26 08:55:20 Formal languages Compiler construction Software engineering Language Software Extended BackusNaur form Parsing Syntax Context-free grammar Formal grammar Terminal and nonterminal symbols Grammar
63	Appendix 1: Formal Definition of a Tipping Element and Its Tipping Point We consider sub-systems (Σ) of the Earth system that are associated with a specific region (or collection of regions) of the globe and are at leas Add to Reading List Source URL: www.350.me.uk Language: English - Date: 2014-06-21 19:35:50 Atmospheric sciences Climatology Meteorology Climate change Climate history Tipping point Global warming Gratuity Global change PaleoceneEocene Thermal Maximum Climate oscillation Climate engineering
64	To appear in the APA Newsletter on Philosophy and Computers, FallNo. 1, VolWhen Formal Systems Kill: Computer Ethics and Formal Methods Darren Abramson∗ Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-02-05 21:11:01 Computing Software engineering Formal methods Technology Theoretical computer science Software quality Software testing Product development Software verification Formal verification Computer science Software development process
65	Concept Similarity and Related Categories in SearchSleuth Frithjof Dau, Jon Ducrou and Peter Eklund , , School of Information Systems and Technology University of Wollo Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:16:28 Mathematics Ontology Data mining Machine learning Metaphysics Logic Lattice theory Formal concept analysis Nearest neighbor search Concept Lattice Mereology
66	Formal Ontology and Principles of Knowledge Organization: An Axiomatic Approach Heinrich Herre Ontologies and Knowledge-Based Systems Research Group Onto-Med, IMISE Add to Reading List Source URL: www.isko-de.org Language: English - Date: 2015-03-15 09:44:28 Ontology Information science Semantic Web Technical communication Information Knowledge representation Knowledge Formal ontology Web Ontology Language Upper ontology Process ontology
67	A formal framework for scenario development in support of environmental decision-making Add to Reading List Source URL: water.engr.psu.edu Language: English - Date: 2009-03-21 10:02:10 Climate change Climatology Systems thinking Atmospheric sciences Intergovernmental Panel on Climate Change Management Military strategy Scenario planning Strategic management Special Report on Emissions Scenarios Scenario analysis Futures studies
68	work IQ badges_PMS_COLORS Add to Reading List Source URL: www.oc.com Language: English - Date: 2016-06-02 15:50:11 Business Computing Software Business intelligence Formal sciences Human resource management Citrix Systems Remote desktop Analytics Lua Workforce management Business process management
69	SIXTH FRAMEWORK PROGRAMME PRIORITY [#] [Information Societies Technology] Contract for: Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-11-01 05:48:34 Formal methods Computing Software engineering Engineering System of systems Dependability Systems engineering Programming tool Software development process Project management B-Method Software development
70	Developing Data Analytics Skills in Japan: Status and Challenge Hiroshi Maruyama, The Institute of Statistical Mathematics Abstract: Japan needs to develop data analytics talents quickly to catch up with the trends of us Add to Reading List Source URL: datascientist.ism.ac.jp Language: English - Date: 2014-08-04 02:44:00 Computing Information technology Business intelligence Business Formal sciences Big data Data management Technology forecasting Transaction processing Analytics Data science Aster Data Systems

UPDATE